一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

基于UKF的四元数载体姿态确定

对于低精度高噪声的传感器组成的低成本姿态测量系统,本文引入U nscen ted K a lm an filtering(UKF)用于姿态确定,设计了有陀螺测量和四元数差分法的无陀螺测量两种UKF滤波器;应用四元数避免了欧拉角法的奇异问题;用高斯-牛顿误差最小法将六维参考向量转化为四元数,作为观测量的一部分,使九维非线性观测方程转化为七维线性方程进行滤波,减少了计算量;应用仿真数据进行算法验证,成功得到姿态估计;对两种算法在低速和高速状态下进行验证,仿真结果表明了该方法的有效性。     

双舌型挡板VGT蜗壳速度场的试验研究

使用IFA30 0热膜风速仪 ,通过选择合适的低通滤波器、合适的采样频率和采样时间 ,用X形探针测量了其无叶喷嘴出口速度的分布以及蜗壳流道的速度场。结果表明 :在两挡板全关时 ,喷嘴出口速度分布较均匀 ;随两挡板开度变化 ,喷嘴出口速度分布变化较大 ;而且沿蜗壳周向其径向速度分布较均匀 ,切向速度分布变化较大 ;沿蜗壳轴向 ,两者变化均较大。当两挡板开度变化时 ,蜗壳流道截面上通流速度的分布不同于自由涡流规律 ,二次流速度分量分布形态类似。     

基于新Euclid实现结构的高速RS译码方案及FPGA实现

Reed-Solomon码具有很强的突发与随机错误纠正能力,已经被广泛应用于卫星通信、军用通信、计算机系统等领域.本文以修正的Euclid(ME)算法为核心算法,设计了一种具有流水线结构的高速时域RS译码方案.对于ME算法提出了一种新的实现结构,取消了一般ME电路实现结构中用来终止迭代的控制电路.用新ME实现电路构成的RS译码器结构简单、规则,易于FPGA实现.以具有8个符号纠错能力的RS(255,239)译码器为例,完成了RS译码器的FPGA设计.工作时钟频率为45MHz时,译码器的吞吐率达到360Mbit/s,译码延迟仅为402个时钟周期.     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

一种有效的锯齿波调频信号识别方法

分析了锯齿波调频信号相位差分序列的特征,在此基础上给出了锯齿波调频信号的识别和参数估计方法,并采用多重相位差分改善了算法对低信噪比环境的适应能力.仿真给出了不同信噪比下对锯齿波调频的识别率.     

冲压发动机点火前内流场数值仿真研究

冲压发动机在点火前由于燃烧室的压力较低,内通道流场状态与发动机正常工作时的差别很大。因此,在发动机设计时,必须要考虑形成正常点火条件对发动机结构的约束。本文利用有限体积法对N-S方程进行空间离散,对发动机点火前的不同内通道结构下的冷流场进行了数值模拟,结果表明稳定器和喷油装置对形成合理的点火条件很重要,稳定器的布局对点火状态有很大影响。     

一种大容量100MHz数据采集记录系统的设计实现

本文提出一种实用的高速数据采集记录系统的设计方案,介绍该系统中各主要模块的功能与设计思路,讨论高速数据存储模块的设计,控制调度流程与高速数字电路设计相关处理方法。针对高速与大容量的数据采集特点,提出用存储速率受限的FLASH芯片来实现高速、大容量数据采集记录的设计方法。     

超燃冲压发动机燃烧室亚/超燃模态数值研究

采用Mac Cormack格式、B-L湍流模型及氢/空气两步化学反应模型,计算了双模态冲压发动机燃烧室在不同来流条件和供油规律下的二维燃烧流场。计算结果表明,在相同来流条件下,供油规律对燃烧室的工作模态有着重大影响;在不同来流条件下,可通过调节供油规律,使燃烧室分别实现亚燃模态和超燃模态。     

DSC对苯基苯酚改性酚醛树脂固化机理研究

采用DSC技术、Kissinger法对苯基苯酚改性酚醛树脂的固化过程进行了研究,得到放热峰顶活化能为169.3 kJ/mol,远大于普通酚醛树脂(约70 kJ/mol)。理论近似凝胶温度、固化温度及后处理温度分别为414.5 K、448.9 K和483.9K。酚醛树脂的固化通常由化学反应控制和扩散控制两阶段组成。通过Ozawa法得到活化能与转化率(E-a)的变化关系表明,2种树脂固化历程存在明显差异。普通酚醛树脂固化反应进行到10%(a=10%),粘度迅速增大,反应转向扩散控制;而苯基苯酚改性酚醛树脂固化反应时粘度变化小,直至a=70%,才较快增长。这将有利于小分子的逃逸和各基团充分反应。同时高活化能也表明,反应形成了高键能的化学键,有利于提高树脂的残炭率和烧蚀性能。